void* asignarread(disco* dsk,int sector, int owner);
void *syncer(void *args);